bongard(133,pos).
bongard(347,pos).
bongard(374,pos).
bongard(512,pos).
bongard(515,pos).
bongard(592,pos).
bongard(625,pos).
bongard(709,pos).
bongard(780,pos).
bongard(917,pos).
bongard(1048,pos).
bongard(1075,pos).
bongard(1248,pos).
bongard(1268,pos).
bongard(1492,pos).
bongard(1611,pos).
bongard(1742,pos).
bongard(1800,pos).
bongard(1801,pos).
bongard(2323,pos).
bongard(2341,pos).
bongard(2357,pos).
bongard(2560,pos).
bongard(2720,pos).
bongard(3229,pos).
bongard(3395,pos).
bongard(3882,pos).
bongard(4170,pos).
bongard(4182,pos).
bongard(4224,pos).
bongard(4415,pos).
bongard(4433,pos).
bongard(4766,pos).
bongard(4798,pos).
bongard(4941,pos).
bongard(5175,pos).
bongard(5430,pos).
bongard(5489,pos).
bongard(5503,pos).
bongard(5647,pos).
bongard(6079,pos).
bongard(6220,pos).
bongard(6293,pos).
bongard(6573,pos).
bongard(6681,pos).
bongard(6700,pos).
bongard(7047,pos).
bongard(7246,pos).
bongard(7257,pos).
bongard(7402,pos).
bongard(7587,pos).
bongard(7709,pos).
bongard(7876,pos).
bongard(7956,pos).
bongard(8254,pos).
bongard(8503,pos).
bongard(8734,pos).
bongard(8941,pos).
bongard(8949,pos).
bongard(9011,pos).
bongard(9106,pos).
bongard(9134,pos).
bongard(9244,pos).
bongard(9252,pos).
bongard(9280,pos).
bongard(9292,pos).
bongard(9374,pos).
bongard(9434,pos).
bongard(131,pos).
bongard(159,pos).
bongard(182,pos).
bongard(212,pos).
bongard(369,pos).
bongard(413,pos).
bongard(493,pos).
bongard(502,pos).
bongard(599,pos).
bongard(658,pos).
bongard(1439,pos).
bongard(1444,pos).
bongard(1528,pos).
bongard(1630,pos).
bongard(1799,pos).
bongard(2318,pos).
bongard(2452,pos).
bongard(3137,pos).
bongard(3542,pos).
bongard(3974,pos).
bongard(4086,pos).
bongard(4283,pos).
bongard(4323,pos).
bongard(4395,pos).
bongard(4475,pos).
bongard(4492,pos).
bongard(4561,pos).
bongard(4697,pos).
bongard(4826,pos).
bongard(4872,pos).
bongard(5018,pos).
bongard(5408,pos).
bongard(5462,pos).
bongard(5713,pos).
bongard(5847,pos).
bongard(5999,pos).
bongard(6044,pos).
bongard(6084,pos).
bongard(6194,pos).
bongard(6414,pos).
bongard(6455,pos).
bongard(6757,pos).
bongard(6851,pos).
bongard(6918,pos).
bongard(7216,pos).
bongard(7568,pos).
bongard(7659,pos).
bongard(7955,pos).
bongard(8239,pos).
bongard(8264,pos).
bongard(8305,pos).
bongard(8360,pos).
bongard(8643,pos).
bongard(8798,pos).
bongard(9094,pos).
bongard(9468,pos).
bongard(9486,pos).
bongard(9509,pos).
bongard(9514,pos).
bongard(9568,pos).
bongard(9578,pos).
bongard(9581,pos).
bongard(9659,pos).
bongard(9693,pos).
bongard(9711,pos).
bongard(9730,pos).
bongard(9837,pos).
bongard(9851,pos).
bongard(13,pos).
bongard(442,pos).
bongard(695,pos).
bongard(696,pos).
bongard(849,pos).
bongard(927,pos).
bongard(980,pos).
bongard(1192,pos).
bongard(1283,pos).
bongard(1626,pos).
bongard(1650,pos).
bongard(1681,pos).
bongard(2037,pos).
bongard(2105,pos).
bongard(2175,pos).
bongard(2461,pos).
bongard(2487,pos).
bongard(2780,pos).
bongard(2997,pos).
bongard(3008,pos).
bongard(3220,pos).
bongard(3258,pos).
bongard(3273,pos).
bongard(3333,pos).
bongard(3354,pos).
bongard(3372,pos).
bongard(3509,pos).
bongard(3658,pos).
bongard(4114,pos).
bongard(4160,pos).
bongard(4449,pos).
bongard(4751,pos).
bongard(5041,pos).
bongard(5067,pos).
bongard(5105,pos).
bongard(5308,pos).
bongard(6127,pos).
bongard(6937,pos).
bongard(7160,pos).
bongard(7395,pos).
bongard(7451,pos).
bongard(7572,pos).
bongard(7803,pos).
bongard(7911,pos).
bongard(7938,pos).
bongard(7951,pos).
bongard(8020,pos).
bongard(8109,pos).
bongard(8231,pos).
bongard(8316,pos).
bongard(8343,pos).
bongard(8349,pos).
bongard(8381,pos).
bongard(8388,pos).
bongard(8792,pos).
bongard(8938,pos).
bongard(9038,pos).
bongard(9059,pos).
bongard(9179,pos).
bongard(9504,pos).
bongard(9519,pos).
bongard(9679,pos).
bongard(9725,pos).
bongard(9741,pos).
bongard(9856,pos).
bongard(9875,pos).
bongard(9924,pos).
bongard(9927,pos).
bongard(249,pos).
bongard(480,pos).
bongard(630,pos).
bongard(990,pos).
bongard(1120,pos).
bongard(1392,pos).
bongard(1550,pos).
bongard(1655,pos).
bongard(1833,pos).
bongard(2134,pos).
bongard(2159,pos).
bongard(2214,pos).
bongard(2440,pos).
bongard(2476,pos).
bongard(2747,pos).
bongard(2794,pos).
bongard(2856,pos).
bongard(3077,pos).
bongard(3106,pos).
bongard(3116,pos).
bongard(3147,pos).
bongard(3233,pos).
bongard(3298,pos).
bongard(3634,pos).
bongard(3668,pos).
bongard(3858,pos).
bongard(3872,pos).
bongard(3996,pos).
bongard(4080,pos).
bongard(4263,pos).
bongard(4346,pos).
bongard(4507,pos).
bongard(4519,pos).
bongard(4554,pos).
bongard(4782,pos).
bongard(4797,pos).
bongard(5023,pos).
bongard(5030,pos).
bongard(5140,pos).
bongard(5287,pos).
bongard(5423,pos).
bongard(5919,pos).
bongard(5993,pos).
bongard(6002,pos).
bongard(6289,pos).
bongard(6410,pos).
bongard(6673,pos).
bongard(6845,pos).
bongard(7135,pos).
bongard(7203,pos).
bongard(7267,pos).
bongard(7369,pos).
bongard(7567,pos).
bongard(7773,pos).
bongard(7969,pos).
bongard(7973,pos).
bongard(7986,pos).
bongard(8201,pos).
bongard(8240,pos).
bongard(8375,pos).
bongard(8419,pos).
bongard(8427,pos).
bongard(8611,pos).
bongard(8753,pos).
bongard(8993,pos).
bongard(9326,pos).
bongard(9521,pos).
bongard(9838,pos).
bongard(33,pos).
bongard(278,pos).
bongard(492,pos).
bongard(647,pos).
bongard(721,pos).
bongard(978,pos).
bongard(1029,pos).
bongard(1102,pos).
bongard(1104,pos).
bongard(1132,pos).
bongard(1166,pos).
bongard(1196,pos).
bongard(1212,pos).
bongard(1334,pos).
bongard(1362,pos).
bongard(1376,pos).
bongard(1529,pos).
bongard(1543,pos).
bongard(1594,pos).
bongard(1805,pos).
bongard(1900,pos).
bongard(2020,pos).
bongard(2029,pos).
bongard(2162,pos).
bongard(2223,pos).
bongard(2257,pos).
bongard(2350,pos).
bongard(2407,pos).
bongard(3301,pos).
bongard(3484,pos).
bongard(3502,pos).
bongard(3686,pos).
bongard(3713,pos).
bongard(4179,pos).
bongard(4285,pos).
bongard(4386,pos).
bongard(4484,pos).
bongard(4838,pos).
bongard(4857,pos).
bongard(5569,pos).
bongard(5628,pos).
bongard(5733,pos).
bongard(5834,pos).
bongard(5841,pos).
bongard(5942,pos).
bongard(6247,pos).
bongard(6335,pos).
bongard(6385,pos).
bongard(6612,pos).
bongard(6749,pos).
bongard(6842,pos).
bongard(6858,pos).
bongard(6921,pos).
bongard(6993,pos).
bongard(7116,pos).
bongard(7182,pos).
bongard(7299,pos).
bongard(7420,pos).
bongard(7430,pos).
bongard(7562,pos).
bongard(7609,pos).
bongard(7708,pos).
bongard(7862,pos).
bongard(7976,pos).
bongard(8097,pos).
bongard(8136,pos).
bongard(8282,pos).
bongard(8448,pos).
bongard(164,pos).
bongard(192,pos).
bongard(525,pos).
bongard(543,pos).
bongard(893,pos).
bongard(1044,pos).
bongard(1352,pos).
bongard(1369,pos).
bongard(1494,pos).
bongard(1676,pos).
bongard(1687,pos).
bongard(2070,pos).
bongard(2304,pos).
bongard(2499,pos).
bongard(2534,pos).
bongard(2906,pos).
bongard(3117,pos).
bongard(3119,pos).
bongard(3205,pos).
bongard(3296,pos).
bongard(3410,pos).
bongard(3514,pos).
bongard(3536,pos).
bongard(3657,pos).
bongard(3841,pos).
bongard(4470,pos).
bongard(4572,pos).
bongard(4673,pos).
bongard(5085,pos).
bongard(5124,pos).
bongard(5522,pos).
bongard(5701,pos).
bongard(5708,pos).
bongard(5836,pos).
bongard(6344,pos).
bongard(6393,pos).
bongard(6608,pos).
bongard(6699,pos).
bongard(6706,pos).
bongard(7115,pos).
bongard(7335,pos).
bongard(7465,pos).
bongard(7499,pos).
bongard(7547,pos).
bongard(7663,pos).
bongard(7799,pos).
bongard(7941,pos).
bongard(8006,pos).
bongard(8033,pos).
bongard(8337,pos).
bongard(8341,pos).
bongard(8749,pos).
bongard(9118,pos).
bongard(9240,pos).
bongard(9261,pos).
bongard(9300,pos).
bongard(9314,pos).
bongard(9348,pos).
bongard(9373,pos).
bongard(9401,pos).
bongard(9643,pos).
bongard(9676,pos).
bongard(9752,pos).
bongard(9819,pos).
bongard(9893,pos).
bongard(9896,pos).
bongard(9961,pos).
bongard(9981,pos).
bongard(281,pos).
bongard(407,pos).
bongard(557,pos).
bongard(784,pos).
bongard(1077,pos).
bongard(1130,pos).
bongard(1241,pos).
bongard(1410,pos).
bongard(1789,pos).
bongard(1814,pos).
bongard(1826,pos).
bongard(1930,pos).
bongard(2113,pos).
bongard(2262,pos).
bongard(2376,pos).
bongard(2521,pos).
bongard(2583,pos).
bongard(2639,pos).
bongard(2705,pos).
bongard(2708,pos).
bongard(2957,pos).
bongard(3122,pos).
bongard(3186,pos).
bongard(3214,pos).
bongard(3368,pos).
bongard(3407,pos).
bongard(3444,pos).
bongard(3600,pos).
bongard(3821,pos).
bongard(4057,pos).
bongard(4133,pos).
bongard(4361,pos).
bongard(4725,pos).
bongard(4781,pos).
bongard(4795,pos).
bongard(4897,pos).
bongard(5528,pos).
bongard(5529,pos).
bongard(5655,pos).
bongard(5679,pos).
bongard(5703,pos).
bongard(6025,pos).
bongard(6232,pos).
bongard(6477,pos).
bongard(6536,pos).
bongard(6592,pos).
bongard(6670,pos).
bongard(6876,pos).
bongard(6930,pos).
bongard(7020,pos).
bongard(7134,pos).
bongard(7581,pos).
bongard(7771,pos).
bongard(8101,pos).
bongard(8457,pos).
bongard(8879,pos).
bongard(9168,pos).
bongard(9177,pos).
bongard(9207,pos).
bongard(9405,pos).
bongard(9801,pos).
bongard(204,pos).
bongard(494,pos).
bongard(727,pos).
bongard(876,pos).
bongard(914,pos).
bongard(1010,pos).
bongard(1305,pos).
bongard(1515,pos).
bongard(1574,pos).
bongard(1905,pos).
bongard(1965,pos).
bongard(2041,pos).
bongard(2087,pos).
bongard(2204,pos).
bongard(2502,pos).
bongard(2595,pos).
bongard(2617,pos).
bongard(2648,pos).
bongard(2692,pos).
bongard(3112,pos).
bongard(3227,pos).
bongard(3290,pos).
bongard(3719,pos).
bongard(3766,pos).
bongard(4045,pos).
bongard(4046,pos).
bongard(4135,pos).
bongard(4355,pos).
bongard(4384,pos).
bongard(4473,pos).
bongard(4474,pos).
bongard(4518,pos).
bongard(4614,pos).
bongard(4702,pos).
bongard(4720,pos).
bongard(5130,pos).
bongard(5183,pos).
bongard(5453,pos).
bongard(5512,pos).
bongard(5558,pos).
bongard(5573,pos).
bongard(5616,pos).
bongard(5632,pos).
bongard(5989,pos).
bongard(6252,pos).
bongard(6254,pos).
bongard(6261,pos).
bongard(6607,pos).
bongard(6933,pos).
bongard(7002,pos).
bongard(7018,pos).
bongard(7228,pos).
bongard(7470,pos).
bongard(7515,pos).
bongard(7565,pos).
bongard(7569,pos).
bongard(7615,pos).
bongard(7840,pos).
bongard(7853,pos).
bongard(8864,pos).
bongard(9152,pos).
bongard(9171,pos).
bongard(9364,pos).
bongard(9376,pos).
bongard(9422,pos).
bongard(9608,pos).
bongard(91,pos).
bongard(188,pos).
bongard(376,pos).
bongard(661,pos).
bongard(855,pos).
bongard(866,pos).
bongard(995,pos).
bongard(1021,pos).
bongard(1157,pos).
bongard(1336,pos).
bongard(1436,pos).
bongard(1506,pos).
bongard(1519,pos).
bongard(1527,pos).
bongard(1584,pos).
bongard(1738,pos).
bongard(1758,pos).
bongard(1772,pos).
bongard(2034,pos).
bongard(2046,pos).
bongard(2246,pos).
bongard(2314,pos).
bongard(2467,pos).
bongard(2538,pos).
bongard(2615,pos).
bongard(2739,pos).
bongard(2771,pos).
bongard(2802,pos).
bongard(2948,pos).
bongard(3026,pos).
bongard(3159,pos).
bongard(3405,pos).
bongard(3459,pos).
bongard(3656,pos).
bongard(3661,pos).
bongard(3745,pos).
bongard(4123,pos).
bongard(4125,pos).
bongard(4183,pos).
bongard(4225,pos).
bongard(4292,pos).
bongard(4360,pos).
bongard(4708,pos).
bongard(4792,pos).
bongard(4916,pos).
bongard(5083,pos).
bongard(5247,pos).
bongard(5257,pos).
bongard(5405,pos).
bongard(5720,pos).
bongard(5749,pos).
bongard(6039,pos).
bongard(6078,pos).
bongard(6267,pos).
bongard(6578,pos).
bongard(6852,pos).
bongard(6901,pos).
bongard(7243,pos).
bongard(7273,pos).
bongard(7356,pos).
bongard(7661,pos).
bongard(7879,pos).
bongard(7980,pos).
bongard(8331,pos).
bongard(8368,pos).
bongard(8413,pos).
bongard(8568,pos).
bongard(8718,pos).
bongard(153,pos).
bongard(227,pos).
bongard(259,pos).
bongard(319,pos).
bongard(523,pos).
bongard(623,pos).
bongard(844,pos).
bongard(895,pos).
bongard(1096,pos).
bongard(1180,pos).
bongard(1384,pos).
bongard(1396,pos).
bongard(1399,pos).
bongard(1428,pos).
bongard(1449,pos).
bongard(1505,pos).
bongard(1587,pos).
bongard(1654,pos).
bongard(1762,pos).
bongard(2022,pos).
bongard(2793,pos).
bongard(3131,pos).
bongard(3192,pos).
bongard(3475,pos).
bongard(3564,pos).
bongard(3758,pos).
bongard(3779,pos).
bongard(4070,pos).
bongard(4202,pos).
bongard(4242,pos).
bongard(4321,pos).
bongard(4591,pos).
bongard(4627,pos).
bongard(5036,pos).
bongard(5045,pos).
bongard(5046,pos).
bongard(5068,pos).
bongard(5237,pos).
bongard(5243,pos).
bongard(5459,pos).
bongard(5480,pos).
bongard(5502,pos).
bongard(5505,pos).
bongard(5568,pos).
bongard(5756,pos).
bongard(5898,pos).
bongard(6056,pos).
bongard(6161,pos).
bongard(6462,pos).
bongard(6563,pos).
bongard(7281,pos).
bongard(7467,pos).
bongard(7555,pos).
bongard(7702,pos).
bongard(7743,pos).
bongard(7829,pos).
bongard(7878,pos).
bongard(7939,pos).
bongard(8131,pos).
bongard(8429,pos).
bongard(8470,pos).
bongard(8543,pos).
bongard(8740,pos).
bongard(8761,pos).
bongard(8835,pos).
bongard(8917,pos).
bongard(8985,pos).
bongard(9116,pos).
bongard(45,neg).
bongard(130,neg).
bongard(236,neg).
bongard(344,neg).
bongard(463,neg).
bongard(622,neg).
bongard(627,neg).
bongard(655,neg).
bongard(682,neg).
bongard(848,neg).
bongard(945,neg).
bongard(983,neg).
bongard(1226,neg).
bongard(1229,neg).
bongard(1395,neg).
bongard(1413,neg).
bongard(1424,neg).
bongard(1534,neg).
bongard(1555,neg).
bongard(1712,neg).
bongard(1784,neg).
bongard(1851,neg).
bongard(1966,neg).
bongard(2042,neg).
bongard(2067,neg).
bongard(2125,neg).
bongard(2141,neg).
bongard(2449,neg).
bongard(2530,neg).
bongard(2592,neg).
bongard(2620,neg).
bongard(2816,neg).
bongard(2840,neg).
bongard(3272,neg).
bongard(3375,neg).
bongard(3486,neg).
bongard(3679,neg).
bongard(3836,neg).
bongard(3839,neg).
bongard(3923,neg).
bongard(3960,neg).
bongard(4091,neg).
bongard(4500,neg).
bongard(4621,neg).
bongard(4644,neg).
bongard(4742,neg).
bongard(4833,neg).
bongard(4854,neg).
bongard(4943,neg).
bongard(5012,neg).
bongard(5178,neg).
bongard(5226,neg).
bongard(5465,neg).
bongard(5734,neg).
bongard(5792,neg).
bongard(6047,neg).
bongard(6057,neg).
bongard(6098,neg).
bongard(6116,neg).
bongard(6117,neg).
bongard(6331,neg).
bongard(6423,neg).
bongard(6514,neg).
bongard(6647,neg).
bongard(6668,neg).
bongard(6985,neg).
bongard(7065,neg).
bongard(7070,neg).
bongard(7139,neg).
bongard(7197,neg).
bongard(7431,neg).
bongard(7471,neg).
bongard(7608,neg).
bongard(7664,neg).
bongard(7842,neg).
bongard(8140,neg).
bongard(8153,neg).
bongard(8191,neg).
bongard(8447,neg).
bongard(8583,neg).
bongard(8782,neg).
bongard(8891,neg).
bongard(9234,neg).
bongard(9242,neg).
bongard(9316,neg).
bongard(9400,neg).
bongard(9431,neg).
bongard(95,neg).
bongard(356,neg).
bongard(412,neg).
bongard(478,neg).
bongard(554,neg).
bongard(611,neg).
bongard(836,neg).
bongard(960,neg).
bongard(981,neg).
bongard(1249,neg).
bongard(1501,neg).
bongard(1582,neg).
bongard(1678,neg).
bongard(1736,neg).
bongard(2035,neg).
bongard(2074,neg).
bongard(2149,neg).
bongard(2247,neg).
bongard(2258,neg).
bongard(2263,neg).
bongard(2291,neg).
bongard(2322,neg).
bongard(3104,neg).
bongard(3171,neg).
bongard(3406,neg).
bongard(3478,neg).
bongard(3535,neg).
bongard(3834,neg).
bongard(3875,neg).
bongard(4061,neg).
bongard(4264,neg).
bongard(4380,neg).
bongard(4387,neg).
bongard(4450,neg).
bongard(4533,neg).
bongard(4546,neg).
bongard(4590,neg).
bongard(4601,neg).
bongard(4762,neg).
bongard(4895,neg).
bongard(4926,neg).
bongard(5020,neg).
bongard(5202,neg).
bongard(5343,neg).
bongard(5365,neg).
bongard(5402,neg).
bongard(5417,neg).
bongard(5456,neg).
bongard(5742,neg).
bongard(5745,neg).
bongard(5940,neg).
bongard(5950,neg).
bongard(5970,neg).
bongard(6011,neg).
bongard(6200,neg).
bongard(6260,neg).
bongard(6488,neg).
bongard(6577,neg).
bongard(7026,neg).
bongard(7317,neg).
bongard(7408,neg).
bongard(7571,neg).
bongard(7586,neg).
bongard(7812,neg).
bongard(8248,neg).
bongard(8483,neg).
bongard(8510,neg).
bongard(8521,neg).
bongard(8527,neg).
bongard(8689,neg).
bongard(8699,neg).
bongard(8818,neg).
bongard(9154,neg).
bongard(9286,neg).
bongard(9328,neg).
bongard(9408,neg).
bongard(9714,neg).
bongard(9721,neg).
bongard(9742,neg).
bongard(9747,neg).
bongard(9756,neg).
bongard(9803,neg).
bongard(9850,neg).
bongard(9878,neg).
bongard(9894,neg).
bongard(9900,neg).
bongard(9908,neg).
bongard(152,neg).
bongard(191,neg).
bongard(223,neg).
bongard(296,neg).
bongard(586,neg).
bongard(804,neg).
bongard(1062,neg).
bongard(1298,neg).
bongard(1520,neg).
bongard(1707,neg).
bongard(1919,neg).
bongard(1942,neg).
bongard(2419,neg).
bongard(2556,neg).
bongard(2584,neg).
bongard(2760,neg).
bongard(2791,neg).
bongard(2828,neg).
bongard(2959,neg).
bongard(3046,neg).
bongard(3067,neg).
bongard(3113,neg).
bongard(3143,neg).
bongard(3215,neg).
bongard(3495,neg).
bongard(3909,neg).
bongard(3968,neg).
bongard(4342,neg).
bongard(4356,neg).
bongard(4409,neg).
bongard(4553,neg).
bongard(4555,neg).
bongard(4783,neg).
bongard(4796,neg).
bongard(4834,neg).
bongard(4842,neg).
bongard(4905,neg).
bongard(5029,neg).
bongard(5534,neg).
bongard(5598,neg).
bongard(5606,neg).
bongard(5650,neg).
bongard(5721,neg).
bongard(5883,neg).
bongard(6020,neg).
bongard(6029,neg).
bongard(6230,neg).
bongard(6422,neg).
bongard(6661,neg).
bongard(6753,neg).
bongard(7062,neg).
bongard(7146,neg).
bongard(7232,neg).
bongard(7251,neg).
bongard(7253,neg).
bongard(7333,neg).
bongard(7371,neg).
bongard(7502,neg).
bongard(7685,neg).
bongard(7704,neg).
bongard(7869,neg).
bongard(8002,neg).
bongard(8068,neg).
bongard(8188,neg).
bongard(8281,neg).
bongard(8364,neg).
bongard(8384,neg).
bongard(8534,neg).
bongard(8539,neg).
bongard(8542,neg).
bongard(8551,neg).
bongard(8681,neg).
bongard(8752,neg).
bongard(8869,neg).
bongard(8996,neg).
bongard(9023,neg).
bongard(9095,neg).
bongard(9147,neg).
bongard(9335,neg).
bongard(9351,neg).
bongard(9781,neg).
bongard(9915,neg).
bongard(9923,neg).
bongard(9962,neg).
bongard(352,neg).
bongard(603,neg).
bongard(639,neg).
bongard(701,neg).
bongard(869,neg).
bongard(937,neg).
bongard(1091,neg).
bongard(1221,neg).
bongard(1225,neg).
bongard(1301,neg).
bongard(1412,neg).
bongard(1539,neg).
bongard(1731,neg).
bongard(1795,neg).
bongard(1872,neg).
bongard(1923,neg).
bongard(1957,neg).
bongard(1962,neg).
bongard(2066,neg).
bongard(2123,neg).
bongard(2229,neg).
bongard(2271,neg).
bongard(2564,neg).
bongard(2865,neg).
bongard(3114,neg).
bongard(3158,neg).
bongard(3179,neg).
bongard(3516,neg).
bongard(3608,neg).
bongard(3653,neg).
bongard(3742,neg).
bongard(3824,neg).
bongard(3953,neg).
bongard(4169,neg).
bongard(4354,neg).
bongard(4357,neg).
bongard(4392,neg).
bongard(4512,neg).
bongard(4615,neg).
bongard(4845,neg).
bongard(4890,neg).
bongard(4929,neg).
bongard(5092,neg).
bongard(5182,neg).
bongard(5348,neg).
bongard(5450,neg).
bongard(5475,neg).
bongard(5544,neg).
bongard(5597,neg).
bongard(5727,neg).
bongard(6043,neg).
bongard(6062,neg).
bongard(6111,neg).
bongard(6204,neg).
bongard(6279,neg).
bongard(6427,neg).
bongard(6567,neg).
bongard(6613,neg).
bongard(6711,neg).
bongard(6733,neg).
bongard(6759,neg).
bongard(7093,neg).
bongard(7136,neg).
bongard(7261,neg).
bongard(7272,neg).
bongard(7343,neg).
bongard(7575,neg).
bongard(7796,neg).
bongard(7984,neg).
bongard(8218,neg).
bongard(8318,neg).
bongard(8390,neg).
bongard(8408,neg).
bongard(8614,neg).
bongard(8679,neg).
bongard(8727,neg).
bongard(8758,neg).
bongard(9016,neg).
bongard(9071,neg).
bongard(9196,neg).
bongard(9298,neg).
bongard(9426,neg).
bongard(9556,neg).
bongard(9877,neg).
bongard(222,neg).
bongard(457,neg).
bongard(604,neg).
bongard(1007,neg).
bongard(1215,neg).
bongard(1374,neg).
bongard(1589,neg).
bongard(1593,neg).
bongard(1662,neg).
bongard(1682,neg).
bongard(1697,neg).
bongard(1777,neg).
bongard(1820,neg).
bongard(1891,neg).
bongard(2278,neg).
bongard(2298,neg).
bongard(2613,neg).
bongard(2735,neg).
bongard(2742,neg).
bongard(2770,neg).
bongard(2910,neg).
bongard(2915,neg).
bongard(2989,neg).
bongard(3102,neg).
bongard(3145,neg).
bongard(3251,neg).
bongard(3309,neg).
bongard(3345,neg).
bongard(3623,neg).
bongard(3659,neg).
bongard(3804,neg).
bongard(3890,neg).
bongard(4012,neg).
bongard(4025,neg).
bongard(4190,neg).
bongard(4221,neg).
bongard(4753,neg).
bongard(4767,neg).
bongard(4800,neg).
bongard(4885,neg).
bongard(4922,neg).
bongard(4931,neg).
bongard(4991,neg).
bongard(5009,neg).
bongard(5391,neg).
bongard(5540,neg).
bongard(5546,neg).
bongard(5664,neg).
bongard(5791,neg).
bongard(5815,neg).
bongard(5926,neg).
bongard(6264,neg).
bongard(6290,neg).
bongard(6299,neg).
bongard(6351,neg).
bongard(6391,neg).
bongard(6484,neg).
bongard(6554,neg).
bongard(6788,neg).
bongard(6838,neg).
bongard(6903,neg).
bongard(6939,neg).
bongard(7067,neg).
bongard(7114,neg).
bongard(7262,neg).
bongard(7360,neg).
bongard(7365,neg).
bongard(7385,neg).
bongard(7477,neg).
bongard(7480,neg).
bongard(7503,neg).
bongard(7640,neg).
bongard(7756,neg).
bongard(7779,neg).
bongard(7846,neg).
bongard(7916,neg).
bongard(8294,neg).
bongard(8379,neg).
bongard(8477,neg).
bongard(8492,neg).
bongard(8506,neg).
bongard(8579,neg).
bongard(8760,neg).
bongard(8955,neg).
bongard(8982,neg).
bongard(9039,neg).
bongard(9180,neg).
bongard(103,neg).
bongard(114,neg).
bongard(128,neg).
bongard(206,neg).
bongard(337,neg).
bongard(445,neg).
bongard(507,neg).
bongard(602,neg).
bongard(650,neg).
bongard(731,neg).
bongard(956,neg).
bongard(1030,neg).
bongard(1049,neg).
bongard(1060,neg).
bongard(1138,neg).
bongard(1219,neg).
bongard(1242,neg).
bongard(1266,neg).
bongard(1407,neg).
bongard(1456,neg).
bongard(1610,neg).
bongard(1695,neg).
bongard(1821,neg).
bongard(1980,neg).
bongard(2001,neg).
bongard(2085,neg).
bongard(2256,neg).
bongard(2279,neg).
bongard(2336,neg).
bongard(2370,neg).
bongard(2593,neg).
bongard(2704,neg).
bongard(2754,neg).
bongard(2757,neg).
bongard(2991,neg).
bongard(3030,neg).
bongard(3154,neg).
bongard(3202,neg).
bongard(3278,neg).
bongard(3319,neg).
bongard(3431,neg).
bongard(3871,neg).
bongard(3901,neg).
bongard(3994,neg).
bongard(4079,neg).
bongard(4089,neg).
bongard(4201,neg).
bongard(4248,neg).
bongard(4362,neg).
bongard(4692,neg).
bongard(5044,neg).
bongard(5090,neg).
bongard(5199,neg).
bongard(5212,neg).
bongard(5230,neg).
bongard(5515,neg).
bongard(5619,neg).
bongard(5683,neg).
bongard(5776,neg).
bongard(5862,neg).
bongard(5896,neg).
bongard(5941,neg).
bongard(5992,neg).
bongard(6021,neg).
bongard(6092,neg).
bongard(6501,neg).
bongard(6582,neg).
bongard(6584,neg).
bongard(6708,neg).
bongard(6822,neg).
bongard(6878,neg).
bongard(6932,neg).
bongard(6960,neg).
bongard(7010,neg).
bongard(7180,neg).
bongard(7649,neg).
bongard(7667,neg).
bongard(7676,neg).
bongard(7836,neg).
bongard(7944,neg).
bongard(8019,neg).
bongard(8146,neg).
bongard(8310,neg).
bongard(8509,neg).
bongard(8639,neg).
bongard(9151,neg).
bongard(9228,neg).
bongard(48,neg).
bongard(100,neg).
bongard(263,neg).
bongard(873,neg).
bongard(1025,neg).
bongard(1089,neg).
bongard(1100,neg).
bongard(1311,neg).
bongard(1325,neg).
bongard(1686,neg).
bongard(1775,neg).
bongard(2224,neg).
bongard(2265,neg).
bongard(2513,neg).
bongard(2591,neg).
bongard(3096,neg).
bongard(3105,neg).
bongard(3169,neg).
bongard(3234,neg).
bongard(3447,neg).
bongard(3555,neg).
bongard(3561,neg).
bongard(3582,neg).
bongard(3665,neg).
bongard(3803,neg).
bongard(3961,neg).
bongard(4017,neg).
bongard(4155,neg).
bongard(4192,neg).
bongard(4226,neg).
bongard(4273,neg).
bongard(4326,neg).
bongard(4458,neg).
bongard(4588,neg).
bongard(4592,neg).
bongard(4936,neg).
bongard(4987,neg).
bongard(5007,neg).
bongard(5184,neg).
bongard(5309,neg).
bongard(5422,neg).
bongard(5435,neg).
bongard(5478,neg).
bongard(5499,neg).
bongard(5550,neg).
bongard(5556,neg).
bongard(5937,neg).
bongard(6225,neg).
bongard(6408,neg).
bongard(6458,neg).
bongard(6542,neg).
bongard(6556,neg).
bongard(6575,neg).
bongard(6627,neg).
bongard(6747,neg).
bongard(6767,neg).
bongard(6849,neg).
bongard(6855,neg).
bongard(6871,neg).
bongard(6946,neg).
bongard(6987,neg).
bongard(7040,neg).
bongard(7128,neg).
bongard(7594,neg).
bongard(7767,neg).
bongard(8245,neg).
bongard(8322,neg).
bongard(8453,neg).
bongard(8598,neg).
bongard(8705,neg).
bongard(8865,neg).
bongard(9075,neg).
bongard(9091,neg).
bongard(9246,neg).
bongard(9276,neg).
bongard(9279,neg).
bongard(9288,neg).
bongard(9305,neg).
bongard(9312,neg).
bongard(9330,neg).
bongard(9343,neg).
bongard(9372,neg).
bongard(9449,neg).
bongard(9541,neg).
bongard(9607,neg).
bongard(9616,neg).
bongard(9620,neg).
bongard(65,neg).
bongard(155,neg).
bongard(312,neg).
bongard(393,neg).
bongard(553,neg).
bongard(559,neg).
bongard(560,neg).
bongard(923,neg).
bongard(1012,neg).
bongard(1056,neg).
bongard(1072,neg).
bongard(1154,neg).
bongard(1568,neg).
bongard(1665,neg).
bongard(1667,neg).
bongard(1729,neg).
bongard(1732,neg).
bongard(1908,neg).
bongard(2039,neg).
bongard(2051,neg).
bongard(2158,neg).
bongard(2205,neg).
bongard(2208,neg).
bongard(2371,neg).
bongard(2396,neg).
bongard(2539,neg).
bongard(2555,neg).
bongard(2751,neg).
bongard(2821,neg).
bongard(3109,neg).
bongard(3426,neg).
bongard(3503,neg).
bongard(3595,neg).
bongard(3771,neg).
bongard(3786,neg).
bongard(3928,neg).
bongard(3940,neg).
bongard(4049,neg).
bongard(4138,neg).
bongard(4366,neg).
bongard(4527,neg).
bongard(4563,neg).
bongard(4646,neg).
bongard(4764,neg).
bongard(4816,neg).
bongard(5006,neg).
bongard(5413,neg).
bongard(5704,neg).
bongard(5705,neg).
bongard(5864,neg).
bongard(5886,neg).
bongard(5904,neg).
bongard(6015,neg).
bongard(6184,neg).
bongard(6425,neg).
bongard(6561,neg).
bongard(6625,neg).
bongard(6658,neg).
bongard(6779,neg).
bongard(6836,neg).
bongard(7088,neg).
bongard(7358,neg).
bongard(7392,neg).
bongard(7464,neg).
bongard(7579,neg).
bongard(7679,neg).
bongard(7764,neg).
bongard(7804,neg).
bongard(7859,neg).
bongard(7958,neg).
bongard(8095,neg).
bongard(8200,neg).
bongard(8211,neg).
bongard(8249,neg).
bongard(8284,neg).
bongard(8325,neg).
bongard(8363,neg).
bongard(8665,neg).
bongard(8836,neg).
bongard(8842,neg).
bongard(8946,neg).
bongard(9445,neg).
bongard(9480,neg).
bongard(9481,neg).
bongard(9621,neg).
bongard(9636,neg).
bongard(9653,neg).
bongard(106,neg).
bongard(135,neg).
bongard(243,neg).
bongard(295,neg).
bongard(315,neg).
bongard(358,neg).
bongard(365,neg).
bongard(415,neg).
bongard(436,neg).
bongard(813,neg).
bongard(884,neg).
bongard(929,neg).
bongard(997,neg).
bongard(1000,neg).
bongard(1033,neg).
bongard(1053,neg).
bongard(1070,neg).
bongard(1126,neg).
bongard(1194,neg).
bongard(1277,neg).
bongard(1291,neg).
bongard(1356,neg).
bongard(1404,neg).
bongard(1924,neg).
bongard(2282,neg).
bongard(2313,neg).
bongard(2497,neg).
bongard(2731,neg).
bongard(3045,neg).
bongard(3178,neg).
bongard(3198,neg).
bongard(3203,neg).
bongard(3208,neg).
bongard(3263,neg).
bongard(3485,neg).
bongard(3491,neg).
bongard(3528,neg).
bongard(3627,neg).
bongard(3637,neg).
bongard(3673,neg).
bongard(3777,neg).
bongard(3850,neg).
bongard(3999,neg).
bongard(4050,neg).
bongard(4068,neg).
bongard(4136,neg).
bongard(4257,neg).
bongard(4509,neg).
bongard(4631,neg).
bongard(4825,neg).
bongard(5008,neg).
bongard(5027,neg).
bongard(5071,neg).
bongard(5214,neg).
bongard(5538,neg).
bongard(5684,neg).
bongard(5772,neg).
bongard(5839,neg).
bongard(5914,neg).
bongard(5982,neg).
bongard(5991,neg).
bongard(6151,neg).
bongard(6435,neg).
bongard(6886,neg).
bongard(7007,neg).
bongard(7032,neg).
bongard(7181,neg).
bongard(7215,neg).
bongard(7328,neg).
bongard(7336,neg).
bongard(7434,neg).
bongard(7683,neg).
bongard(8036,neg).
bongard(8150,neg).
bongard(8158,neg).
bongard(8193,neg).
bongard(8374,neg).
bongard(9051,neg).
bongard(9223,neg).
bongard(9284,neg).
bongard(9310,neg).
bongard(9393,neg).
bongard(9432,neg).
bongard(9461,neg).
bongard(9510,neg).
bongard(9531,neg).
bongard(9557,neg).
bongard(49,neg).
bongard(77,neg).
bongard(216,neg).
bongard(316,neg).
bongard(350,neg).
bongard(419,neg).
bongard(479,neg).
bongard(805,neg).
bongard(1063,neg).
bongard(1363,neg).
bongard(1367,neg).
bongard(1621,neg).
bongard(1659,neg).
bongard(1787,neg).
bongard(2219,neg).
bongard(2308,neg).
bongard(2670,neg).
bongard(2693,neg).
bongard(2935,neg).
bongard(3031,neg).
bongard(3118,neg).
bongard(3188,neg).
bongard(3226,neg).
bongard(3252,neg).
bongard(3378,neg).
bongard(3463,neg).
bongard(3605,neg).
bongard(3830,neg).
bongard(4099,neg).
bongard(4106,neg).
bongard(4327,neg).
bongard(4684,neg).
bongard(4730,neg).
bongard(4747,neg).
bongard(4881,neg).
bongard(4901,neg).
bongard(5100,neg).
bongard(5169,neg).
bongard(5310,neg).
bongard(5364,neg).
bongard(5379,neg).
bongard(5404,neg).
bongard(5414,neg).
bongard(5488,neg).
bongard(5623,neg).
bongard(5626,neg).
bongard(5858,neg).
bongard(5882,neg).
bongard(5966,neg).
bongard(6066,neg).
bongard(6102,neg).
bongard(6159,neg).
bongard(6367,neg).
bongard(6396,neg).
bongard(6574,neg).
bongard(6649,neg).
bongard(6758,neg).
bongard(6773,neg).
bongard(6972,neg).
bongard(7016,neg).
bongard(7126,neg).
bongard(7222,neg).
bongard(7223,neg).
bongard(7454,neg).
bongard(7529,neg).
bongard(7570,neg).
bongard(7658,neg).
bongard(8074,neg).
bongard(8076,neg).
bongard(8216,neg).
bongard(8669,neg).
bongard(8808,neg).
bongard(8913,neg).
bongard(9193,neg).
bongard(9204,neg).
bongard(9502,neg).
bongard(9614,neg).
bongard(9661,neg).
bongard(9669,neg).
bongard(9688,neg).
bongard(9719,neg).
bongard(9762,neg).
bongard(9795,neg).
bongard(9810,neg).
bongard(9829,neg).
bongard(9831,neg).
bongard(9836,neg).